Über die Entgiftung des Histamins durch intravenöse Darreichung des Formaldehydes

Über die Effizienz des Automatischen Testens

Wir analysieren die Effizienz des zufälligen und systematischen Ansatzes zum automatischen Programmtesten. Dabei nutzen wir wenige, einfache, jedoch realistische Annahmen um ein generelles probabilistisches Modell für das Softwaretesten zu entwickeln. Die zwei wichtigsten Ziele des automatischen Softwaretestens sind (i) in minimaler Zeit mit einem gewissen Zuversichtsgrad x festzustellen, daß d...

Die Schrift des Rufus von Ephesos über die Gelbsucht

The greater part of this book is devoted to a study of Aristotle's theory of heredity in the De generatione animalium. Morsink argued that Aristotle is there engaging in dialectical dispute against the pangenesis theory of inheritance as advocated in "Hippocrates" On semen and On the nature of the child, and that Aristotle's own explanation in terms of form provided by the male parent and matte...

Was ist Informatik-Didaktik? Gedanken über die Fachkenntniss des Informatiklehrers

Zusammenfassung. Die steigende Nachfrage nach Informatikunterricht verschiedener Art (an öffentlichen und Berufsschulen, innerbetriebliche Aus-und Weiterbildung etc) wirft die Frage der geeigneten Ausbildung der Lehrkräfte auf. Der Artikel beschreibt den Kern eines für Mathematik-und Informatik-Studenten konzipierten Ausbildungsgangs für zukünftige Informatik-Lehrkräfte. Algorithmen und Datenst...

Die Regulierung des Domainnamensystems durch die Internet Corporation for Assigned Names and Numbers (ICANN)

Flexibilisierung des Studienalltags durch eLectures

Flexible und individuelle Lernmöglichkeiten für Studierende zu schaffen ist eine Reaktion von Hochschulen auf gesamtgesellschaftliche Veränderungsprozesse. So bewirken überfüllte Hörsäle, heterogene Lebens¬anforderungen und -weisen, dass eLectures (Veranstaltungsaufzeichnungen) mittlerweile ein etabliertes Element zur Diversifizierung der universitären Lernangebote geworden sind. Im vorliegende...